他与张铃教授一起，将数学方法引入人工智能，在人工智能、神经网络、小波分析与模式识别等多个领域从事研究工作。提出基于统计推断的启发式搜索，基于拓扑的空间规划，基于关系矩阵的时间规划，以及基于规划的神经网络学习等新方法。在此基础上，根据人类求解问题的特点，提出问题求解的数学模型-商空间模型及其相关理论，有效地降低了计算复杂性，为多粒度计算提供理论基础。具有重要的应用价值。
计算机软件专家，中国科学院数学与系统科学研究院研究员，中国科学院院士。
